Nuprl Definition : es-dstate-after
11,40
postcript
pdf
(discrete state after
e
)(
x
) == if discrete(loc(
e
);
x
) then (
x
after
e
) else
fi
latex
clarification:
es-dstate-after(
es
;
e
)(
x
)
== if es-isconst(
es
;es-loc(
es
;
e
);
x
) then es-after(
es
;
x
;
e
) else
fi
latex
Definitions
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
discrete(
i
;
x
)
,
loc(
e
)
,
(
x
after
e
)
,
FDL editor aliases
es-dstate-after
origin
fi
fi fi
fi 
x.A(x)